logically correct